Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
171	ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2009-10-08 06:22:48 Logic Model theory Mathematical logic Abstraction Symbol Interpretation First-order logic Structure Normal distribution Substitution
172	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
173	Bulletin of Mathematical Biology: 769–784 DOIs11538x O R I G I N A L A RT I C L E Modeling Spruce Budworm Population Revisited: Impact of Physiological Structure on Outbreak Control Add to Reading List Source URL: v.web.umkc.edu Language: English - Date: 2013-01-23 16:27:49
174	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
175	Keep your friends close: Incorporating trust into social network-based Sybil defenses Abedelaziz Mohaisen, Nicholas Hopper, and Yongdae Kim University of Minnesota, Minneapolis, MN 55455, USA Emails: {mohaisen \| hopper \| Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2011-08-18 17:11:42 Networks Network theory Random walk Community structure Mathematical analysis Mathematics Discrete mathematics
176	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English Probability theory Graph theory Networks Random walk Probability Mathematical analysis Community structure Markov chain
177	Proceedings Template - WORD Add to Reading List Source URL: oa.upm.es Language: English Mathematical logic Arity Finitary relation Structure Binary relation Inverse relationship Relation Inverse element Inverse Mathematics Universal algebra Abstract algebra
178	Alignment of 2011 MA Traditional Pathway High School Course Standards and the New PARCC Assessments Add to Reading List Source URL: www.doe.mass.edu Language: English - Date: 2013-11-13 11:40:16 Algebra Von Neumann algebra Structure Mathematical sciences Algebraic structures Mathematics Mathematics education
179	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 03:56:09 Structure Support Ideal Complete partial order Partially ordered set Continuous function Sierpiński space Spectral theory of ordinary differential equations Lambda calculus Mathematics Order theory Mathematical analysis
180	Conformational Splitting: A More Powerful Criterion for Dead-End Elimination N. A. PIERCE,1,∗ J. A. SPRIET,2 J. DESMET,2,† S. L. MAYO3 1 Division of Biology, California Institute of Technology, Pasadena, California Add to Reading List Source URL: www.piercelab.caltech.edu Language: English - Date: 2010-09-08 02:56:25 Dead-end elimination Mathematical optimization Bioinformatics Stereochemistry Conformational isomerism Protein design STING Homology modeling Computational chemistry Chemistry Protein methods Protein structure

UPDATE